Imperative programming - PDFSEARCH.IO - Document Search Engine

Imperative programming
Results: 88

#	Item
71	QUIZ 5A: Imperative Sentences Add to Reading List Source URL: www.azargrammar.com Language: English - Date: 2008-07-31 15:41:20 Imperative programming Linguistics Imperative mood Copula
72	An Intro to Probabilistic Programming using JAGS John Myles White December 27, 2012 Add to Reading List Source URL: files.meetup.com Language: English - Date: 2013-01-15 17:03:35 Bayesian statistics Monte Carlo software OpenBUGS Programming paradigms Programming language Prolog Bayesian inference Imperative programming Probability Statistics Software engineering Computing
73	Higher Order Imperative Programming Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Lisp programming language Functional programming Recursion Subroutines Functional languages Lisp Scheme Append Cons Software engineering Computer programming Computing
74	Conal Mullen Elliott P.O. Box 951 San Andreas, CA[removed]Education Add to Reading List Source URL: conal.net Language: English - Date: 2011-02-10 19:38:08 Functional programming Programming paradigms Functional languages Haskell International Conference on Functional Programming Imperative programming Simon Peyton Jones Software development methodology Journal of Functional Programming Software engineering Computing Declarative programming
75	Trace-based Verification of Imperative Programs with I/O Gregory Malecha, Greg Morrisett, Ryan Wisnesky Harvard University, Cambridge, MA, USA Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Logic in computer science Proof theory Dependently typed programming Mathematical logic Mathematical proof Mathematical induction Separation logic Coq Mathematics Theoretical computer science Logic
76	Teaching Imperative Programming With Contracts at the Freshmen Level [Experience Report] Frank Pfenning Thomas J. Cortina Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-09-23 13:51:53 Data types Procedural programming languages Cross-platform software Theoretical computer science C++ C Pointer ALGOL 68 Generic programming Software engineering Computing Computer programming
77	Noesis The Journal of the Mega Society Issue #187 August 2008 Add to Reading List Source URL: megasociety.org Language: English - Date: 2010-06-23 18:52:38 Modal logic Levitation Magnetism Deontic logic Imperative logic Logic Magnetic levitation Logic programming Truth Electromagnetism Physics Philosophy
78	Programming Paradigms for Dummies: What Every Programmer Should Know Add to Reading List Source URL: www.info.ucl.ac.be Language: English - Date: 2009-05-12 05:57:28 Computer programming Oz Declarative programming Constraint programming Logic programming Concurrent computing Imperative programming Programming language Object-oriented programming Software engineering Programming paradigms Computing
79	15-122: Principles of Imperative Computation Recitation 7 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-06 23:15:49 Extreme programming Software engineering Computing Unit testing Debugging Infinite loop Best Coding Practices Software development Software testing Software bugs
80	Kaleidoscope: A Constraint Imperative Programming Language Gus Lopez, Bjorn Freeman-Benson, and Alan Borning Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2012-08-02 07:37:08 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Constraint Constructor Prolog E Logic programming Constraint programming Declarative programming Software engineering

UPDATE